\chapter{Cryptol Syntax}
\label{cha:crypt-synt}

% \todo[inline]{To be written or, preferably, generated.}

%=====================================================================
\label{sec:crypt-synt-summ}
\input{appendices/Syntax.tex}

%=====================================================================
%% \chapter{The Cryptol Grammar}
%% \label{cha:cryptol-grammar}
%% 
%% This appendix to be filled in soon.
%% \input{appendices/CryptolEBNF.tex}

%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "../main/Cryptol"
%%% End: 
